361. Recent advances in the message passing interface
پدیدآورنده : Jesper Larsson Träff, Siegfriend Benkner, Jack Dongarra (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
رده :
QA76
.
642
.
E97
2012eb
362. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
363. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
364. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
365. Reliability, safety, and security of railway systems :
پدیدآورنده : Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Railroads-- Safety measures, Congresses.,Railroads-- Safety measures.
رده :
QA76
.
758
366. Reliable software technologies--Ada-Europe 2012
پدیدآورنده : Mats Brorsson, Luís Miguel Pinho (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
R44
A33
2012eb
367. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
368. Reliable software technologies, Ada-Europe 2010 :
پدیدآورنده : Jorge Real, Tullio Vardanega (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.
369. Reliable software technologies--Ada-Europe 201
پدیدآورنده : Alexander Romanovsky, Tullio Vardanega (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer software, Reliability, Congresses,Software engineering, Congresses
رده :
QA
،
76
.
76
،.
R44
370. Reliable software technologies--Ada-Europe 2009
پدیدآورنده : Fabrice Kordon, Yvon Kermarrec (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses
رده :
QA76
.
76
.
R44
A33
2009
371. Requirements engineering :
پدیدآورنده : Eric Knauss, Michael Goedicke (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Quality control, Congresses.,Requirements engineering, Congresses.,Computer software-- Quality control.,Requirements engineering.
رده :
QA76
.
758
372. Requirements engineering: Foundation for software quality
پدیدآورنده : Björn Regnell, Daniela Damian (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Quality control, Congresses,Requirements engineering, Congresses
رده :
QA76
.
758
.
R44
2012eb
373. Requirements engineering: foundation for software quality :
پدیدآورنده : Daniel Berry, Xavier Franch (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Requirements engineering, Congresses
رده :
QA76
.
758
.
R44
2011
374. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
375. Research in computational molecular biology :
پدیدآورنده : edited by Benjamin J. Raphael.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Data mining.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Maths for computer scientists.
رده :
QH324
.
2
.
R43
2018
376. Research in systems analysis and design :
پدیدآورنده : Stanisław Wrycza (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : System analysis, Congresses.,System design, Congresses.,Systems programming (Computer science), Congresses.
رده :
QA76
.
9
.
S88
S54
2011
377. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
378. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
379. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
380. Rule-based modeling and computing on the Semantic Web :
پدیدآورنده : Frank Olken, Monica Palmirani, Davide Sottara (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R85
2011